|
Conway chained arrow notation, created by mathematician John Horton Conway, is a means of expressing certain extremely large numbers in googology. It is simply a finite sequence of positive integers separated by rightward arrows, e.g. 2 → 3 → 4 → 5 → 6. As with most combinatorial symbologies, the definition is recursive. In this case the notation eventually resolves to being the leftmost number raised to some (usually enormous) integer power. ==Definition and overview== A ''Conway chain'' (or ''chain'' for short) is defined as follows: * Any positive integer is a chain of length 1. * A chain of length ''n'', followed by a right-arrow → and a positive integer, together form a chain of length . Any chain represents an integer, according to the four rules below. Two chains are said to be equivalent if they represent the same integer. If and are positive integers, and is a subchain, then: # An empty chain (or a chain of length 0) represents 1, and the chain represents the number . # represents the exponential expression . (Note that Conway in 〔John H. Conway & Richard K. Guy, The Book of Numbers, 1996, p.59-62〕 leaves the 2-tuple undefined, but has the 3d parameter count Knuth's arrows, so that this rule actually follows from the axiom to drop the from the right end.) # is equivalent to . # is equivalent to (with ''p'' copies of ''X'', ''p'' − 1 copies of ''q'', and ''p'' − 1 pairs of parentheses; applies for ''q'' > 0). Note that the last rule can be restated recursively to avoid the ellipses: :4a. :4b. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Conway chained arrow notation」の詳細全文を読む スポンサード リンク
|